A Structural Characterization of Temporal Dynamic Controllability
نویسنده
چکیده
An important issue for temporal planners is the ability to handle temporal uncertainty. Recent papers have addressed the question of how to tell whether a temporal network is Dynamically Controllable, Le., whether the temporal requirements are feasible in the light of uncertain durations of some processes. Previous work has presented an O ( N 5 ) algorithm for testing this property. Here, we introduce a new analysis of temporal'cycles that leads to an O ( N 4 ) algorithm.
منابع مشابه
Structural Controllability and Controlling Centrality of Temporal Networks
Temporal networks are such networks where nodes and interactions may appear and disappear at various time scales. With the evidence of ubiquity of temporal networks in our economy, nature and society, it's urgent and significant to focus on its structural controllability as well as the corresponding characteristics, which nowadays is still an untouched topic. We develop graphic tools to study t...
متن کاملDynamic Control Of Plans With Temporal Uncertainty
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many applications involve processes of uncertain duration whose timing cannot be controlled by the execution agent. These cases require more complex notions of temporal feasibility. In previous work, various “controllabili...
متن کاملPower of individuals - Controlling centrality of temporal networks
Temporal networks are such networks where nodes and interactions may appear and disappear at various time scales. With the evidence of ubiquity of temporal networks in our economy, nature and society, it's urgent and significant to focus on structural controllability of temporal networks, which nowadays is still an untouched topic. We develop graphic tools to study the structural controllabilit...
متن کاملDelay Controllability: Multi-Agent Coordination under Communication Delay
Simple Temporal Networks with Uncertainty provide a useful framework for modeling temporal constraints and, importantly, for modeling actions with uncertain durations. To determine whether we can construct a schedule for a given network, we typically consider one of two types of controllability: dynamic or strong. These controllability checks have strict conditions on how uncertainty is resolve...
متن کاملFaster Conflict Generation for Dynamic Controllability
In this paper, we focus on speeding up the temporal plan relaxation problem for dynamically controllable systems. We take a look at the current bestknown algorithm for determining dynamic controllability and augment it to efficiently generate conflicts when the network is deemed uncontrollable. Our work preserves the O(n) runtime of the best available dynamic controllability checker and improve...
متن کامل